separable normed space

可分赋范空间